Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
641	Safety to the Weak! Security Through Feebleness: An Unorthodox Manifesto Rick McGeer, US Ignite Outline Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:05 Hardware description languages Turing machine Formal methods Theoretical computer science Verilog VHDL Turing completeness NP Formal verification High-level synthesis Verilog-AMS
642	BOOKS ABOUT TABE COMPUTATION Cityhalllosangeles.com TABE COMPUTATION Add to Reading List Source URL: t.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:57:52 Theoretical computer science Computability theory Adult education Tests of Adult Basic Education Computer science Theory of computation Computation
643	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:54 Models of computation Theoretical computer science Multiset Order theory Membrane computing Set Natural computing Path ordering Associative containers Algorithm P system Big O notation
644	Microsoft PowerPoint - Lect03procedures.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-14 14:11:00 Theoretical computer science Computability theory Recursion Subroutines Scheme Algorithm Structure and Interpretation of Computer Programs Factorial
645	Logical Methods in Computer Science Vol. 10(2:, pp. 1–51 www.lmcs-online.org Submitted Published Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Differential geometry Process calculi Theoretical computer science -calculus Sheaf XC
646	LA-URA Quantum Information Science and Technology Roadmap Part 2: Quantum Cryptography Add to Reading List Source URL: qist.lanl.gov Language: English - Date: 2004-07-27 17:15:22 Quantum cryptography Quantum information science Emerging technologies Cryptography Quantum computing Quantum key distribution Quantum technology Artur Ekert Quantum information Quantum mechanics Theoretical computer science John Rarity
647	SIGACCESS FY’14 Annual Report July 2013 – June 2014 Submitted by: Andrew Sears SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s confere Add to Reading List Source URL: www.acm.org Language: English - Date: 2014-11-11 12:51:19 Theoretical computer science Edsger W. Dijkstra ACM SIGACT Association for Computing Machinery Symposium on Theory of Computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Symposium on Computational Geometry ACM-W International Colloquium on Automata Languages and Programming Gdel Prize Symposium on Foundations of Computer Science
648	Linear Forwarders∗ Philippa Gardner Cosimo Laneve Lucian Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-07-07 12:00:28 Theoretical computer science Functions and mappings Process calculi -calculus Substitution Lambda calculus Limit of a function
649	Curriculum Vitae Vassilis Zikas Assistant Professor, RPI Rensselaer Polytechnic Institute Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2016-01-14 21:49:00 Formal sciences Eurocrypt Ueli Maurer Cryptography International Colloquium on Automata Languages and Programming Theory of Cryptography Conference Jonathan Katz Theoretical computer science International Cryptology Conference LOKI
650	Recent Interactions between TCS and Quantum Physics Scott Aaronson September 2013 In 1994, when Peter Shor announced his famous algorithm for factoring integers in polynomial time using a quantum computer, it wasn’t ob Add to Reading List Source URL: thmatters.files.wordpress.com Language: English - Date: 2015-10-14 11:22:07 Quantum information science Quantum computing Quantum cryptography Quantum mechanics Emerging technologies Quantum algorithm Quantum information Quantum gravity Quantum complexity theory Theoretical computer science Boson sampling Quantum key distribution

UPDATE